Ivor Isaac
نویسندگان
چکیده
منابع مشابه
Ivor, a Proof Engine
Dependent type theory has several practical applications in the fields of theorem proving, program verification and programming language design. Ivor is a Haskell library designed to allow easy extending and embedding of a type theory based theorem prover in a Haskell application. In this paper, I give an overview of the library and show how it can be used to embed theorem proving technology in...
متن کاملAB - compacta Isaac
We define a compactum X to be AB-compact if the cofinality of the character χ(x, Y ) is countable whenever x ∈ Y and Y ⊂ X. It is a natural open question if every AB-compactum is necessarily first countable. We strengthen several results from [Arhangel’skii and Buzyakova, Convergence in compacta and linear Lindelöfness, Comment. Math. Univ. Carolin. 39 (1998), no. 1, 159–166] by proving the fol...
متن کاملFast tracking after Ivor Lewis esophagogastrectomy.
OBJECTIVES We streamlined our care using an algorithm for the postoperative care of patients who undergo Ivor Lewis esophagogastrectomy to try to reduce hospital stay to 7 days and maintain safety and patient satisfaction. METHODS A consecutive series of 90 patients who underwent elective esophageal resection by one general thoracic surgeon were studied. An algorithm to guide postoperative ca...
متن کاملDistinguishing attacks on ISAAC
This paper presents two strong distinguishers for the deterministic random bit generator ISAAC, requiring 2 and 2 samples of respectively 64 and 32 bits, based on the observation that more than 2 167 initial states among the 2 192 ones induce a strongly non-uniform distribution of the bits produced at the first round of the algorithm. A previous attack on ISAAC presented at Asiacrypt’06 by Paul...
متن کاملIvor Grattan - Guinness ARE OTHER LOGICS POSSIBLE ?
By the mid-1900s Hugh MacColl had published enough in the way of papers and notes on logic that a more connected presentation could be made. Accordingly, he reworked several items into a book published in 1906 and entitled Symbolic Logic and its Applications. In this paper I comment on some main features of the book and note reactions to it at the time, especially by Russell. Consequences of hi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1979
ISSN: 0028-0836,1476-4687
DOI: 10.1038/277159a0